翻訳と辞書 |
Alexander Razborov : ウィキペディア英語版 | Alexander Razborov
Aleksandr Aleksandrovich Razborov ((ロシア語:Алекса́ндр Алекса́ндрович Разбо́ров); born February 16, 1963), sometimes known as Sasha Razborov, is a Soviet and Russian mathematician and computational theorist. == Research == In his best known work, joint with Steven Rudich, he introduced the notion of ''natural proofs'', a class of strategies used to prove fundamental lower bounds in computational complexity. In particular, Razborov and Rudich showed that, under the assumption that certain kinds of one-way functions exist, such proofs cannot give a resolution of the P = NP problem, so new techniques will be required in order to solve this question.
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Alexander Razborov」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|